Base d'Ouverts \(\mathcal U_0\) de \((X,\mathcal U)\)
Ensemble \(\mathcal U_0\subset{\mathcal P}(X)\) tel que \(\bigcup\mathcal U_0=X\) et $$\forall U,V\in\mathcal U_0,\forall x\in U\cap V,\exists W\in\mathcal U_0,\quad x\in W\subset U\cap V$$(pour chaque couple d'éléments et pour chaque point dans leur intersection, il existe un élément qui vient se mettre entre l'intersection et le point.)